Nuprl Definition : atom_dset
13,42
postcript
pdf
atom_dset() == mk_dset(Atom,
x
,
y
.
x
=a
y
)
latex
Up
sets
1
Wellformedness Lemmas
atom
dset
wf
Definitions
mk_dset(
T
,
eq
)
,
x
=a
y
origin
x,y. x =a y) x,y. x =a y)